;; should fail

(define a
  (local-syntax let2 (lambda (exp env)
		       (cons (syntax-quote let1)
			     (syn-cdr exp)))
		(local-syntax let1 (lambda (exp env)
				     (let ((name (syn-car (syn-cdr exp)))
					   (val (syn-car (syn-cdr (syn-cdr exp))))
					   (body (syn-car (syn-cdr (syn-cdr (syn-cdr exp))))))
				       (list (syntax-quote let)
					     (list (list name val))
					     body)))
			      (let1 x 3 (let1 let1 5 (let2 y 7 (print (+ x y let1))))))))

